Implementing a Real - Time Pro ess Algebra

From Pro ess Algebra to Visual Language

Pro ess Algebra with Five - Valued

The Regular Viewpoint on PA - Pro esses

To appear in Theoretical Computer Science The Regular Viewpoint on PA-Pro esses D. Lugiez Lab. d'Informatique de Marseille, Univ. Aix-Marseille & CNRS URA 1787, 39, r. Joliot-Curie, 13453 Marseille Cedex 13, FRANCE and Ph. S hnoebelen Lab. Spe i ation and Veri ation, ENS de Ca han & CNRS UMR 8643, 61 av. Pdt Wilson, 94235 Ca han Cedex, FRANCE Abstra t PA is the pro ess algebra allowing non-dete...

A Practical Approach to Implementing Real - Time Semantics 1 )

This paper investigates implementations of process algebras which are suitable for modeling concurrent real-time systems. It suggests an approach for e ciently implementing real-time semantics using dynamic priorities. For this purpose a process algebra with dynamic priority is de ned, whose semantics corresponds one-to-one to traditional real-time semantics. The advantage of the dynamic-priori...

Hilbert modules over pro-C*-algebras

In this paper, we generalize some results from Hilbert C*-modules to pro-C*-algebra case. We also give a new proof of the known result that l2(A) is aHilbert module over a pro-C*-algebra A.